This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lire la suiteThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suiteThis book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suiteThis volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suiteThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lire la suite